Nathaniel Soares 2609 Milvia St • Berkeley CA 94704 • ( • github.com/Soares • Machine Intelligence Research Institute Research Fellow AprilPresent • We do foundational mathemat

Source URL: so8r.es

• Computing
• Software
• Alphabet Inc.
• Joyent
• Node.js
• Verilog
• Google
• Department of Defense Information Assurance Certification and Accreditation Process
• Machine Intelligence Research Institute
• Domain-specific language
• Computer
• Linux

CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10)

Source URL: www.program-transformation.org

• Computing
• Software engineering
• Computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• Domain-specific language
• Actor model

ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1

Source URL: arxiv.org

• Logic
• Abstraction
• Software
• Predicate logic
• Compiler construction
• Computational linguistics
• Natural language parsing
• Programming language implementation
• Parsing
• Natural language processing
• Dependency grammar
• Domain-specific language

The GEMOC Initiative On the Globalization of Modeling Languages The New Grand Challenge of the Globalization of Modeling Languages

Source URL: gemoc.org

• Unified Modeling Language
• Scientific modeling
• Integrated development environments
• Modeling language
• Domain-specific modeling
• Conceptual model
• Eclipse
• Systems engineering

Cryptol: The Language of Cryptography Domain Specific Languages A path to high assurance solutions CASE STUDY

Source URL: www.cryptol.net

PDF Document

Source URL: st.inf.tu-dresden.de

• Software
• Computing
• Unified Modeling Language
• Eclipse
• Object Constraint Language
• Integrated development environments
• ECO
• Object-oriented programming languages
• Domain-specific language
• Scala
• OCL
• Xtend

PDF Document

Source URL: www.kestrel.edu

• Formal methods
• Specification language
• Refinement
• Abstract state machines
• Specification
• Object Process Methodology
• Domain-specific language
• Programming language
• Integrated circuit design
• Formal specification
• Isabelle
• Program derivation

A Language-centric Approach to Software Engineering: Domain Specific Languages meet Software Components Gopal Gupta Department of Computer Science University of Texas at Dallas []

Source URL: www.cliplab.org

Delft University of Technology Software Engineering Research Group Technical Report Series Spoofax: An Extensible, Interactive Development Environment for Program

Source URL: swerl.tudelft.nl

• Stratego/XT
• Program transformation
• ASF+SDF Meta Environment
• Stratego
• Eclipse
• ECL programming language
• Domain-specific language
• Emacs
• Code refactoring
• Software
• Computing
• Transformation languages

Nokia Case Study MetaEdit+ revolutionized the way Nokia develops mobile phone software Effective development tools are vital for increasing productivity and improving the quality of products. When Nokia was searching for

Source URL: www.metacase.com

• MetaCASE tool
• Computing
• Nokia
• Metamodeling
• Noki
• Systems engineering
• Smartphones
• Domain-specific modeling
• Model-driven engineering
• Software
• MetaEdit+
• Unified Modeling Language